 val for : unit -> ['a. ('a -> int) -> 'a -> int]
